Building a Fuzzy Transformation System
نویسنده
چکیده
Multi-adjoint logic programming represents a very recent, extremely exible attempt for introducing fuzzy logic into logic programming. Inspired by previous approaches largely used in other (crisp) declarative paradigms, in this paper we propose the development of a fold/unfold based transformation system for optimizing such kind of fuzzy logic programs. We prove that our set of transformation rules composed by de nition introduction, folding, unfolding and facting, enjoys strong correctness properties (i.e. the semantics of computed substitutions and truth degrees is preserved) and it is able to signi cantly improve the execution of goals against transformed programs. To the best of our knowledge, this is the rst approach to the construction of a complete transformation system in a fuzzy logic setting.
منابع مشابه
Fuzzy Method in Feasibility Study of Using Biomass Solar Hybrid Source and Photovoltaic System for Designing a Research Center Building in Smart Grid of Hamedan
In this paper, the electrical consumption of a Research Center Building is derived of the bills, Then with defining of fuzzy Bus Thermal Coefficient objective function for heating, the amount of available heat selling to Research Center Building consumer that is produced by Biomass Solar Hybrid Source is calculated. With the capacity determination of Biomass Solar Hybrid Source to provide Therm...
متن کاملSemi-active Control of Building Structures using Variable Stiffness Device and Fuzzy Logic
Semi-active control devices, also called “Intelligent” control devices, constitute the positive aspects of both the passive and active control devices. A semi-active control strategy is similar to the active control strategy, but this control device has been shown to be more energy-efficient than active devices. A particular type of semi-active control device, the Variable Stiffness Device (VSD...
متن کاملDifferential transformation method for solving fuzzy differential inclusions by fuzzy partitions
متن کامل
AN INTELLIGENT INFORMATION SYSTEM FOR FUZZY ADDITIVE MODELLING (HYDROLOGICAL RISK APPLICATION)
In this paper we propose and construct Fuzzy Algebraic Additive Model, for the estimation of risk in various fields of human activities or nature’s behavior. Though the proposed model is useful in a wide range of scientific fields, it was designed for to torrential risk evaluation in the area of river Evros. Clearly the model’s performance improves when the number of parameters and the actual d...
متن کاملINTELLIGENT BUILDING ASSESSMENT BASED ON AN INTEGRATED MODEL OF FUZZY ANALYTIC HIERARCHY PROCESS AND FUZZY PREFERENCE DEGREE APPROACH (FAHP-FPDA)
Intelligent building (IB) technologies have widespread applications in the building design and development. In this regard, it is necessary to develop intelligent building assessment models in order to satisfy the clients, professionals, and occupants' growing demands. To this end, this paper proposes an integrated analytic hierarchy process (AHP) and preference degree approach (PDA) under the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006